Axiom A - PDFSEARCH.IO - Document Search Engine

Axiom A
Results: 172

#	Item
11	Solving Geometry Problems using a Combination of Symbolic and Numerical Reasoning Shachar Itzhaky1 , Sumit Gulwani2 , Neil Immerman3 , and Mooly Sagiv1 1 Add to Reading List Source URL: www.cs.tau.ac.il Language: English Mathematical logic Programming paradigms Algorithm Theoretical computer science Axiom Euclidean geometry Logic programming Constraint satisfaction Constraint programming Satisfiability modulo theories Foundations of geometry
12	To appear in: Jäger, Christoph; Winfried Löffler (edsEpistemology: Contexts, Values, Disagreement. Proceedings of the 34th International Wittgenstein Symposium. Frankfurt a.M.: Ontos. Rival Logics, Disagreemen Add to Reading List Source URL: www.georgbrun.ch Language: English - Date: 2014-10-16 03:42:22 Philosophical logic Modal logic Logic Paraconsistent logic Philosophy of logic Material conditional Meaning First-order logic Intuitionistic logic Truth Sequent Axiom
13	The Resolution of Mind A Games Manual by Dennis H. Stephens Add to Reading List Source URL: adarsajnana.files.wordpress.com Language: English - Date: 2015-07-02 22:57:35 Axiom Causality Foundations of geometry Elementary geometry
14	The Development of Infant Causal Perception Leslie B. Cohen, Geoffrey Amsel, Melissa A. Redford, and Marianella Casasola University of Texas at Austin Chapter to appear in A. Slater (Ed.) "Perceptual development: Visual, Add to Reading List Source URL: spl.uoregon.edu Language: English - Date: 2013-10-08 17:32:19 Causality Philosophy of physics Philosophy of science Conditionals Philosophy of time Causation Present Infant cognitive development Axiom of Causality
15	FIRST ORDER THEORIES OF INDIVIDUAL CONCEPTS AND PROPOSITIONS John McCarthy, Stanford University 2000 Oct 31, 10:36 a.m. Abstract Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:10:07 Predicate logic Quantification Philosophical logic Mathematical logic Model theory Modal logic Predicate FO Axiom First-order logic Quantifier Existential quantification
16	A Grand Challenge of Theorem Discovery Geoff Sutcliffe1 , Yi Gao1 , and Simon Colton2 1 Department of Computer Science, University of Miami , Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2008-01-08 08:29:08 Automated theorem proving Statements Formal systems Proof theory Philosophy of mathematics Theorem Automated reasoning Conjecture Mathematical logic Mathematical proof Geoff Sutcliffe Axiom
17	The Foundations of Bayesian Epistemology: A Philosophical Introduction Kenny Easwaran November 20, 2015 Chapter 7: Norms and Idealization Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Epistemology Modal logic Possibility Metatheory Justification Theory of justification Belief Bayesian probability Axiom Epistemic possibility DempsterShafer theory Virtue epistemology
18	Solving Geometry Problems using a Combination of Symbolic and Numerical Reasoning Shachar Itzhaky1 , Sumit Gulwani2 , Neil Immerman3 , and Mooly Sagiv1 1 Add to Reading List Source URL: www.cs.tau.ac.il Language: English Mathematical logic Operations research Algorithm Theoretical computer science Axiom Logic programming Euclidean geometry Datalog Mathematical optimization Constraint satisfaction Satisfiability modulo theories Foundations of geometry
19	And the Winners Are... An Axiomatic Approach to Selection from a Set Add to Reading List Source URL: ftp.iza.org Language: English - Date: 2014-07-30 08:59:45 Z notation Axiom S Combination Foundations of mathematics Metric Axiom of infinity Peano axioms

UPDATE